大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Colloquium on Recovery Techniques for Multi-Microprocessor Systems (1980) 的图书(共6963本)

Generative and Transformational Techniques in Software Engineering [electronic resource] : International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers

0
索取号：
作者：L盲mmel、 Ralf.、Saraiva、 Jo茫o.、Visser、 Joost.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Techniques for Networked and Distributed Systems - FORTE 2006 [electronic resource] : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. Proceedings

0
索取号：
作者：Najm、 Elie.、Pradat-Peyre、 Jean-Fran莽ois.、Donzeau-Gouge、 V茅ronique Vigui茅.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computational Methods in Systems Biology [electronic resource] : International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006. Proceedings

0
索取号：
作者：Priami、 Corrado.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Fuzzy Systems and Knowledge Discovery [electronic resource] : Third International Conference, FSKD 2006, Xi鈥檃n, China, September 24-28, 2006. Proceedings

0
索取号：
作者：Wang、 Lipo.、Jiao、 Licheng.、Shi、 Guanming.、Li、 Xue.、Liu、 Jing.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Model Driven Engineering Languages and Systems [electronic resource] : 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings

0
索取号：
作者：Nierstrasz、 Oscar.、Whittle、 Jon.、Harel、 David.、Reggio、 Gianna.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Foundations of Intelligent Systems [electronic resource] : 16th International Symposium, ISMIS 2006, Bari, Italy, September 27-29, 2006. Proceedings

0
索取号：
作者：Esposito、 Floriana.、Ra艣、 Zbigniew W.、Malerba、 Donato.、Semeraro、 Giovanni.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advanced Bioimaging Technologies in Assessment of the Quality of Bone and Scaffold Materials [electronic resource] : Techniques and Applications

0
索取号：
作者：Qin、 Ling.、Genant、 Harry K.、Griffith、 James F.、Leung、 Kwok Sui.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Grammatical Inference: Algorithms and Applications [electronic resource] : 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006. Proceedings

0
索取号：
作者：Sakakibara、 Yasubumi.、Kobayashi、 Satoshi.、Sato、 Kengo.、Nishino、 Tetsuro.、Tomita、 Etsuji.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Modeling and Analysis of Timed Systems [electronic resource] : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings

0
索取号：
作者：Asarin、 Eugene.、Bouyer、 Patricia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advanced Concepts for Intelligent Vision Systems [electronic resource] : 8th International Conference, ACIVS 2006, Antwerp, Belgium, September 18-21, 2006. Proceedings

0
索取号：
作者：Blanc-Talon、 Jacques.、Philips、 Wilfried.、Popescu、 Dan.、Scheunders、 Paul.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Artificial Intelligence: Methodology, Systems, and Applications [electronic resource] : 12th International Conference, AIMSA 2006, Varna, Bulgaria, September 12-15, 2006. Proceedings

0
索取号：
作者：Euzenat、 J茅r么me.、Domingue、 John.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advances in Computer Systems Architecture [electronic resource] : 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006. Proceedings

0
索取号：
作者：Jesshope、 Chris.、Egan、 Colin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Complex Systems Approach to Economic Dynamics [electronic resource]

0
索取号：
作者：Chian、 A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Object-Oriented Metrics in Practice [electronic resource] : Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems

0
索取号：
作者：Lanza、 Michele.、Marinescu、 Radu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Conceptual Modeling of Information Systems [electronic resource]

0
索取号：
作者：Oliv茅、 Antoni.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Local and Semi-Local Bifurcations in Hamiltonian Dynamical Systems [electronic resource]

0
索取号：
作者：Han尾mann、 Heinz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.